direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Rigorous Discretization of Hybrid Systems Using Process Calculi
Zitatschlüssel conf/formats/SchneiderN11
Autor Schneider, Sven and Nestmann, Uwe
Buchtitel FORMATS
Seiten 301-316
Jahr 2011
ISBN 978-3-642-24309-7
Jahrgang 6919
Monat 9
Verlag Springer
Serie Lecture Notes in Computer Science
Link zur Originalpublikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe